1. .....................
پدیدآورنده: Chang, Chin-liang
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Logic, Symbolic and mathematical,، Automatic theorem proving,، Artificial intelligence
رده :
QA
9
.
C483
2. <A> Computational Logic
پدیدآورنده: \ Robert S. Boyer and J Strother Moore
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Automatic theorem proving.
رده :
E-Book
,
3. <A> Proof Theory for General Unification
پدیدآورنده: \ Wayne Snyder
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Automatic theorem proving
رده :
E-Book
,
4. A combination of geometry theorem proving and nonstandard analysis with application to Newton's Principia
پدیدآورنده: Jacques Fleuriot
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Automatic theorem proving,، Nonstandard mathematical analysis,، Newton, Isaac, Sir, 2461-7271. Principia
رده :
QA
76
.
9
.
A96F57
5. A computational logic
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Automatic theorem proving. ;
6. A computational logic
پدیدآورنده: Robert S. Boyer and J. Strother Moore
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Automatic theorem proving
رده :
QA
76
.
9
.
A96B68
7. A computational logic
پدیدآورنده: / Robert S. Boyer and J Strother Moore
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Automatic theorem proving
رده :
QA76
.
9
.
A96B68
8. A computational logic
پدیدآورنده: / Robert S. Boyer and J. Strother Moore
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Automatic theorem proving
رده :
QA
,
76
.
9
,.
A96
,
B68
9. A computational logic handbook
پدیدآورنده: BOYER,ROBERT S
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: AUTOMATIC THEOREM PROVING , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
76
.
9
.
A96
B684
11. A proof theory for general unification
پدیدآورنده: / Wayne Snyder,Snyder
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: Automatic theorem proving
رده :
QA
76
.
9
.
A96S6
1991
12. A proof theory for general unification
پدیدآورنده: Wayne Snyder
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Automatic theorem proving
رده :
QA
76
.
9
.
A96S6
13. A resolution principle for a logic with restricted quantifiers
پدیدآورنده: H.-J. Burckert
کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)
موضوع: ، Automatic theorem proving,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96
B87
1991
14. A resolution principle for a logic with restricted quantifiers
پدیدآورنده: H.-J. Burckert
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع: Automatic theorem proving,Logic, Symbolic and mathematical
رده :
QA
,
76
.
9
,.
A96B87
15. A resolution principle for a logic with restricted quantifiers
پدیدآورنده: H.-J. Burckert
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Automatic theorem proving,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
568
16. Algorithmic decision theory :
پدیدآورنده: Ronen I. Brafman, Fred S. Roberts, Alexis Tsoukiàs (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Automatic theorem proving, Congresses,Computer algorithms, Congresses,Decision making-- Data processing, Congresses
رده :
QA76
.
9
.
A96
A38
2011
17. Analogy for automated reasoning
پدیدآورنده: Stephen Owen
کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)
موضوع: ، Automatic theorem proving,، Artificial intelligence,، Analogy
رده :
QA
76
.
9
.
A96
O94
1990
18. Applied proof theory: proof interpretations and their use in mathematics
پدیدآورنده: Kohlenbach, U. )Ulrich(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Proof theory,، Approximation theory,، Nonlinear operators,، Automatic theorem proving
رده :
QA
9
.
54
.
K64
2008
19. Artificial intelligence, automated reasoning, and symbolic computation : joint International Conferences, AISC 2002 and CALCULEMUS 2002, Marseille, France, July 1-5, 2002 proceedings
پدیدآورنده: Jacques Calmet...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
2385
20. Automated Deduction – CADE-25
پدیدآورنده: \ Amy P. Felty , Aart Middeldorp (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Automatic theorem proving -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,منطق ریاضی-- کنگرهها
رده :
QA
76
.
9
.
A96
2015
E-Book
,
